The MacBeth Specification, Modeling and Programming Language
نویسندگان
چکیده
We introduce MacBeth, a language for the behavioral speci cation and programming of real-time applications. The aim of the language is to provide a way to specify systems in which timing and state are rst-class objects. It does so at a higher level of abstraction, in a general way, yet in a formal, concise and eÆcient fashion.
منابع مشابه
"What We Feel, and What Doth us Befall": A Study of Letter Motif in Macbeth
The present essay is an attempt to scrutinize Macbeth's letter to Lady Macbeth formalistically with much care and seek hints which may lead us back and forth to understand what befell before and after the composition and emission of the letter. The letter seems to help us plunge into Macbeth's consciousness, and of course later to that of Lady Macbeth; it is a transparent aid to perceive the hi...
متن کاملThe Intersemiotic Study of Translation from Page to Stage: The Farsi Translation of Macbeth for Stage Adaptation from the Perspective of Peirceʼs Model
Intersemiotic translation, which can happen in the process of the translation of drama for theatre, can turn more complicated when the verbal sign system of drama has already undergone interlingual translation. The purpose of this study is to find the intersemiotic changes of translation from page to stage and to show the changes of indexical, iconic, and symbolic signs in the process of inters...
متن کاملDemonstration of JML Tools
The Java Modeling language (JML) is a behavioral interface specification language tailored to Java. This demonstration presents some of the basic tools for generating and browsing documentation, runtime assertion checking, and unit testing.
متن کاملFormal Specification of the Virtual Component Interface Standard in the Unified Modeling Language
As part of our charge from the Virtual Sockets Interface Alliance we search for a notation in which standards documents can be precisely specified. We approach the specification for standard problem in the context of the Virtual Component Interface Standard. We propose six orthogonal axes of specification as guides to creating a cohesive, well-rounded requirements specification. We then specify...
متن کاملSpecifications in the Development Process: An AsmL Demonstration
AsmL is a specification system for software modeling, test generation, test validation, and implementation verification. It comprises a formal specification language, a set of libraries, and a test tool. It is integrated into the .NET Framework and Microsoft development tools. It has multiple source notations that can be used in a literate programming style either in an XML format or embedded w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001